formal axiomatics
形式公理学
热门查询
- mineralogy n. 矿物学；矿物学书籍
- Hellenistic adj. 希腊风格的；希腊文化的
- self-control n. 克己，自我控制
- enrico n. 恩里科(m.)
- nutshell n. 坚果的外壳；小的东西，小容器 vt. 概括
- scab n. 痂；疤；疥癣；恶棍 vi. 结痂；生疙瘩；破坏罢工 vt. 把…称为工贼
- levelled vt. 使同等（level的过去式与过去分词形式）
- Santana 桑塔纳汽车; [地名] [巴拿马、巴西、多米尼加共和国、古巴、葡萄牙] 圣安娜
- photocall n. <英>（名人或政府官员）接受宣传媒体拍照的时间
- Uppsala 乌普萨拉[瑞典东南部城市]
- unexplored adj. [地质] 未勘查过的
- junction n. 连接，接合；交叉点；接合点
- phobia n. 恐怖，憎恶；恐惧症
- singularly adv. 异常地；非常地；令人无法理解地
- boardwalk n. 木板路
- mailbag n. 邮袋；邮差背包
- McCall [人名] [爱尔兰姓氏] 麦考尔盖尔语姓氏的英语形式，取自父名，来源于人名Cathmhaol,含义是“战斗+首领”(battle+chief); [人名] [苏格兰人姓氏] 麦考尔 McKail的变体; [地名] [美国] 麦考尔
- kickback n. 回扣，佣金；强烈反应；退回赃物
- technology n. 技术；工艺；术语
- paratrooper n. 伞兵
考试词汇表
- static electric machine
- static equation systems
- static equilibrium test
- static evaluation score
- static evaluation value
- static frequency change
- static fuel consumption
- static ga(u)ge pressure
- static hysteresis curve
- static indentation test
- static inductive effect
- static input resistance
- static light scattering
- static load coefficient
- static loop sensitivity
- static magnetic storage
- static memory interface
- static microprogramming
- static parameter tester
- static penetration test
